Date: Tue, 05 Nov 1996 21:10:07 GMT
Server: NCSA/1.5
Content-type: text/html
Last-modified: Sun, 14 Apr 1996 04:41:45 GMT
Content-length: 1260

<html>

<head>
<title>What Manuvir Does For a Living</title>
</head>

<body background="http://www.cs.wisc.edu/~manuvir/images/paper1.jpg">

<!WA0><!WA0><!WA0><!WA0><!WA0><a href="http://www.cs.wisc.edu/~manuvir/manuvir.html">
<!WA1><!WA1><!WA1><!WA1><!WA1><img src="http://www.cs.wisc.edu/~manuvir/images/name.gif"></a>
<br>

<p>

<em>Status:</em> Ph.D. student (dissertator)
<p>
<em>Area:</em> Programming Languages and Compilers
<p>
<em>Program:</em> <!WA2><!WA2><!WA2><!WA2><!WA2><A HREF="http://www.cs.wisc.edu/">Computer Sciences Department,</A>
University of Wisconsin-Madison
<p>
<em>Job Description:</em> Research Assistant
<p>
<em>Advisor:</em> <!WA3><!WA3><!WA3><!WA3><!WA3><A HREF="http://www.cs.wisc.edu/~reps/reps.html">Prof. Thomas Reps</A>
<p>
<em>Thesis:</em> Partial Evaluation using Dependence Graphs
<p>

<hr>
<p>

<h3>Conference Publications</h3>
<ul>
<li>
Das, M., Reps, T., and Van Hentenryck, P.
Semantic foundations of binding-time analysis for imperative programs.
<i>PEPM '95: Proceedings of the ACM SIGPLAN Symposium on
Partial Evaluation and Semantics-Based Program Manipulation</i>,
(La Jolla, California, June 21-23, 1995).
<!WA4><!WA4><!WA4><!WA4><!WA4><A HREF="http://www.cs.wisc.edu/wpis/papers/pepm95a.ps"> postscript </A>
</ul>
<p>

<hr>
<p>

<address>
<!WA5><!WA5><!WA5><!WA5><!WA5><a href="http://www.cs.wisc.edu/cgi-bin/finger?manuvir@captn-hook">
manuvir@cs.wisc.edu</a>
</address>

</body>

</html>
